Search Results
@rae: Connecting linearity and relevance in Dependent Haskell
@rae: Update on Dependent Haskell
@rae: Type families help define functions over length-indexed vectors
Implementing Linear Haskell
@rae: Infinite types hobble closed type families
@rae: Ideas for optimizing Haskell
@rae: Why -XNoPolyKinds should be removed from Haskell
@rae: Using singleton types to replicate a length-indexed Vector
@rae: Use closed type families for beautiful type inference
@rae: Avoid losing money via -XLinearTypes
@rae: Removing (/=) from the Eq type class
@rae: How whitespace works in Haskell
